Modeling and verification of insider threats using logical analysis

In this paper we combine formal modeling and analysis of infrastructures of organisations with sociological explanation to provide a framework for insider threat analysis. We use the Higher Order Logic proof assistant Isabelle/HOL to support this framework. In the formal model, we exhibit and use a common trick from the formal verification of security protocols showing that it is applicable to insider threats. We introduce briefly a three step process of social explanation illustrating that it can be applied fruitfully to the characterisation of insider threats. We introduce the Insider theory constructed in Isabelle that implements this process of social explanation. To validate that the social explanation is generally useful for the analysis of insider threats and to demonstrate our framework, we model and verify the insider threat patterns Entitled Independent and Ambitious Leader in our Isabelle/HOL framework

Wettbewerb und Kooperation in der Nutzung von Absolventenstudien in der Schweiz

Im Beitrag wird die Nutzung resp. Nicht-Nutzung von Absolventenstudien durch Hochschulen in der Schweiz betrachtet. Das Schweizer Bundesamt für Statistik führt zweijährlich eine nationale Absolventenbefragung durch, zu der alle Absolventinnen und Absolventen aller Schweizer Hochschulen eingeladen werden. Hochschulen können der Umfrage eigene Fragen hinzufügen und den gesamten Datensatz analysieren. Inwiefern bietet diese Ausgangslage Gelegenheiten für Zusammenarbeit unter, aber auch Wettbewerb zwischen den Hochschulen? Dieser Frage geht der Beitrag nach. Die Ergebnisse basieren auf einer qualitativen Befragung der Hochschulen und auf unseren eigenen institutionellen Erfahrungen. Sie zeigen den Wunsch nach Zusammenarbeit auf der methodischen Ebene, während in der Nutzung der Daten Wettbewerbsdenken sichtbar wir

Criteria for Architectural Integration of Active Solar Systems IEA Task 41, Subtask A

AbstractThe upcoming growing use of active solar technologies, photovoltaics and solar thermal, brings an important challenge for designers willing to keep a high architectural quality of buildings. The IEA Task 41 “Solar Energy and Architecture” brought together international experts to address key issues in this process.Subtask A dealt with the specific architectural integration issues brought by active solar systems, solar thermal and photovoltaics. A description of the main criteria and of the various ways the architect can use each technology to satisfy these criteria has been produced.The reasons for the limited use of such systems are presented, as identified through a large international web survey, pinpointing low architects knowledge and low products integrability as major barriers (deliverable T.41.A.1). Architectural integration criteria are defined, based on previous studies, and related guidelines for architects and products developers are presented in separate targeted deliverables (T.41.A.2 and T.41.A.3). Deliverable T.41.A.2 provides a comprehensive set of integration guidelines addressed to architects, highlighting all the integration possibilities offered today by both solar thermal and photovoltaics systems. Deliverable T.41.A.3 is intended to counter the lack of innovative products conceived for building integration, by addressing to manufacturers a detailed set of products development guidelines. Finally, already existing innovative products achieving good integrability characteristics are collected and presented in a new attractive website (T.41.A.6)